Index

A B C D E F G H I K L M N O P R S T U V W Y Z
All Classes All Packages

S

set(Variable, Term) - Method in class edu.uky.ai.lp.logic.Unifier

Sets a variable equal to a value (if value is a constant) or as having the same value as another variable (if value is a variable).

setEditable(boolean) - Method in class edu.uky.ai.lp.gui.Console

Settings - Class in edu.uky.ai.lp

Settings for the game.

Settings() - Constructor for class edu.uky.ai.lp.Settings

stench - Variable in class edu.uky.ai.lp.Result

Indicates if the square the player just moved to has a stench

stench(int, int) - Method in class edu.uky.ai.lp.Game

Tests whether or not a given square has a stench.

STENCH - Static variable in class edu.uky.ai.lp.gui.Images

substitute(Unifier) - Method in class edu.uky.ai.lp.logic.Conjunction

substitute(Unifier) - Method in class edu.uky.ai.lp.logic.Constant

substitute(Unifier) - Method in class edu.uky.ai.lp.logic.Disjunction

substitute(Unifier) - Method in interface edu.uky.ai.lp.logic.Expression

substitute(Unifier) - Method in class edu.uky.ai.lp.logic.Fact

substitute(Unifier) - Method in interface edu.uky.ai.lp.logic.Formula

Return a version of this formula with its variables replaced with the values assigned to them by a unifier.

substitute(Unifier) - Method in class edu.uky.ai.lp.logic.Negation

substitute(Unifier) - Method in class edu.uky.ai.lp.logic.Term

substitute(Unifier) - Method in class edu.uky.ai.lp.logic.Variable

substituteArguments(Unifier) - Method in class edu.uky.ai.lp.logic.BooleanExpression

Returns the expression's arguments with their variables substituted.

A B C D E F G H I K L M N O P R S T U V W Y Z
All Classes All Packages